61. Handbook of Industrial system Safty engineering and risk Assessment
پدیدآورنده: / edited by Lee Gaumer
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
رده :
TS156
.
G285
2012
R
62. Information Science and applications
پدیدآورنده: Kuinam J. Kim, Hye-Young Kim, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Information technology, Congresses.,Computer software-- Development.,Information technology.
رده :
T58
.
5
63. Information systems development
پدیدآورنده: edited by Olegas Vasilecas ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Instructional systems-- Design, Congresses.,System design, Congresses.
64. Integrated project support environments
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
65. Integrated project support environments: the aspect project
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer software-- Development,Congresses ، Electronic data processing-- Management
رده :
QA
76
.
76
.
D47
.
I553
1991
66. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده: Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
67. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده: \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
68. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده: [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
69. Knowledge- based software engineering
پدیدآورنده: / edited by Pavol navrat and Haruki Ueno
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
70. Knowledge-based software engineering
پدیدآورنده: edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
71. Knowledge- based software engineering
پدیدآورنده: / edited by Pavol navrat and Haruki Ueno
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
72. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده: edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
E95J6
2000
73. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development-- Congresses,، Expert systems )Computer science(-- Congresses
رده :
QA
76
.
76
.
D47
.
I35
1992
74. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده: Mehdi Dastani ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
75. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده: Mehdi Dastani ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
76. Logic-Based Program Synthesis and Transformation
پدیدآورنده: \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
77. Logic-Based Program Synthesis and Transformation
پدیدآورنده: \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
78. Logic-based program synthesis and transformation
پدیدآورنده: Elvira Albert (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
79. Logic-based program synthesis and transformation :
پدیدآورنده: Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
80. Managing complexity in software engineering /
پدیدآورنده: edited by R.J. Mitchell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming-- Management-- Congresses,Computer software-- Development-- Congresses
رده :
QA76
.
76
.
D47
